|
| updated 26.03.15 15:43 26.03.15 14:39 |
Emet   | |
ru |
С деньгами в кармане ты и умен, и красив, и даже умеешь петь.
|
|
| |
|
|
| 23.03.15 15:03 |
Emet | |
ru |
|
|
|
| |
|
|
| updated 22.03.15 00:15 21.03.15 23:13 |
Emet | |
ru |
|
|
| |
|
|
| updated 11.03.15 02:23 11.03.15 01:20 |
Мирра | Песня "Часы" |
ru |
Бон из Голоса 3 спел эту песню на много лучше на мой взгляд, чем Билан)
CUT: Продолжение
Mood: задумчивое 
|
|
| |
|
|
| 06.03.15 19:56 |
Emet | Теорема Гёделя |
ru |
Теоре́ма Гёделя о неполноте́ и втора́я теоре́ма Гёделя[~ 1] — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержимая формула.
Вторая теорема утверждает, что если формальная арифметика непротиворечива, то в ней невыводима некоторая формула, содержательно утверждающая непротиворечивость этой арифметики.
Эти теоремы были доказаны Куртом Гёделем в 1930 году (опубликованы в 1931) и имеют непосредственное отношение ко второй проблеме из знаменитого списка Гильберта.
|
|
| |
|
Total posts: 10501 Pages: 1051
1.. 9 10 11 12 13 14 15 16 17 18 19 20.. 30.. 40.. 50.. 60.. 70.. 80.. 90.. 100.. 110.. 120.. 130.. 140.. 150.. 160.. 170.. 180.. 190.. 200.. 210.. 220.. 230.. 240.. 250.. 260.. 270.. 280.. 290.. 300.. 310.. 320.. 330.. 340.. 350.. 360.. 370.. 380.. 390.. 400.. 410.. 420.. 430.. 440.. 450.. 460.. 470.. 480.. 490.. 500.. 510.. 520.. 530.. 540.. 550.. 560.. 570.. 580.. 590.. 600.. 610.. 620.. 630.. 640.. 650.. 660.. 670.. 680.. 690.. 700.. 710.. 720.. 730.. 740.. 750.. 760.. 770.. 780.. 790.. 800.. 810.. 820.. 830.. 840.. 850.. 860.. 870.. 880.. 890.. 900.. 910.. 920.. 930.. 940.. 950.. 960.. 970.. 980.. 990.. 1000.. 1010.. 1020.. 1030.. 1040.. 1050..
|
|
| Mo |
Tu |
We |
Th |
Fr |
Sa |
Su |
| | | | | 1 | 2 | | 3 | 4 | 5 | 6 | 7 | 8 | 9 | | 10 | 11 | 12 | 13 | 14 | 15 | 16 | | 17 | 18 | 19 | 20 | 21 | 22 | 23 | | 24 | 25 | 26 | 27 | 28 | 29 | 30 |
|
